Free shipping on all orders! No minimum purchase required.
Formal Methods
by Klaus Havelund (Editor), Jan Peleska (Editor), Bill Roscoe (Editor), Eric de Vink (Editor)
Formal Methods: Foundations and Applications
by Márcio Cornélio (Editor), Bill Roscoe (Editor)
